Skip to content

Conversation

@kvbridgers
Copy link

No description provided.

einvbri added 3 commits February 8, 2025 17:00
Add option for pthread modeling set to a default of false. Uses
must opt-in. Update LITs so all pass.
Also, add additional LIT test for pointer deref.
Current changes were causing analysis of memcached to crash. This
update addresses 2 of 3 crashes found so far, adds a covering LIT
test and improves LIT test coverage. All clang/test/Analysis
LITs now pass.
@nuudlman nuudlman requested a review from tgeorge676 February 10, 2025 22:41
@tgeorge676 tgeorge676 merged commit e851383 into ut-senior-design-clang-pthread:main Feb 12, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants